Formal virtualization requirements for the ARM architecture

Formal virtualization requirements for the ARM architecture

We present an analysis of the virtualizability of the ARMv7-A architecture carried out in the context of the seminal paper published by Popek and Goldberg 38 years ago. Because their definitions are dated, we first extend their machine model to modern architectures with paged virtual memory, IO and interrupts. We then use our new model to show that ARMv7-A is not classically virtualizable. Insi...

The MIPS architecture and virtualization

Secure Virtualization with Formal Methods

Secure Virtualization with Formal Methods

A Measurement Study of ARM Virtualization Performance

ARM servers are becoming increasingly common, making server technologies such as virtualization for ARM of growing importance. We present the first in-depth study of ARM virtualization performance on ARM server hardware, including measurements of two popular ARM and x86 hypervisors, KVM and Xen. We show how the ARM hardware support for virtualization can support much faster transitions between ...

Virtualization Architecture for NoC-based Reconfigurable Systems

To further enhance the capacity of parallel processing, the Network-on-Chip (NoC) is gradually adopted in a Systemon-Chip (SoC) design, instead of the conventional bus architecture. Further, due to the support of partial reconfiguration technology, the Partial Reconfigurable Regions (PRRs) in an FPGA device can be configured as an IP core, such as a General-Purpose Processor (GPP) or a hardware...